1
Proof Theory

Proof Theory

წელი:
1977
ენა:
english
ფაილი:
PDF, 5.78 MB
0 / 0
english, 1977
2
Proof Theory of Impredicative Subsystems of Analysis

Proof Theory of Impredicative Subsystems of Analysis

წელი:
1989
ენა:
english
ფაილი:
PDF, 2.94 MB
0 / 0
english, 1989
3
Proof theory

Proof theory

წელი:
1977
ენა:
english
ფაილი:
DJVU, 2.16 MB
0 / 0
english, 1977
5
Vollständige Systeme modaler und intuitionistischer Logik

Vollständige Systeme modaler und intuitionistischer Logik

წელი:
1968
ენა:
german
ფაილი:
DJVU, 3.90 MB
0 / 0
german, 1968
6
Vollständige Systeme modaler und intuitionistischer Logik

Vollständige Systeme modaler und intuitionistischer Logik

წელი:
1968
ენა:
german
ფაილი:
PDF, 3.70 MB
0 / 0
german, 1968
7
Vollständige Systeme modaler und intuitionistischer Logik

Vollständige Systeme modaler und intuitionistischer Logik

წელი:
1968
ენა:
german
ფაილი:
DJVU, 2.61 MB
0 / 0
german, 1968